Nuprl Lemma : bool_wf
9,38
postcript
pdf
Type
latex
ProofTree
Definitions
,
t
T
Lemmas
unit
wf
origin